simplifying a radical expression using the product rule